@misc{lecture1,
  title={{02242 -- Program Analysis, Lecture 1: Introduction}},
  year={2011},
  month = aug,
  howpublished={\url{https://cn.dtu.dk/cnnet/filesharing/SADownload.aspx?ElementId=360169&FileId=2834519} (as per 28th sep 2011)}
}

@misc{wikiProgramSlicing,
  title={{Wikipedia - Program slicing}},
  year={2011},
  month = sep,
  howpublished={\url{http://en.wikipedia.org/w/index.php?title=Program_slicing&oldid=430361869#Example} (as per 28th sep 2011)}
}

@mastersthesis{YACHT,
   author = {Ruvald, M. and Marrup, J.},
   title  = {{FSM+D hardware compiler for C programmeringssproget}},
   school  = {Technical University of Denmark},
   type    = {{B.Sc. thesis}},
   year    = "2010",
   month   = "Jun",
   url     = {http://code.google.com/p/yacht-dtu/},
}

@book{parr2007definitive,
  title={The definitive ANTLR reference: Building domain-specific languages},
  author={Parr, T.},
  year={2007}
}

@book{HHN,
  title={Principles of program analysis},
  author={Nielson, F. and Nielson, H.R. and Hankin, C.},
  year={1999},
  publisher={Springer-Verlag New York Inc}
}

